<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <meta name="description" content="">
    <meta name="author" content="">
    <link rel="icon" href="../../favicon.ico">

    <title><?php echo $OJ_NAME?></title>  
    <?php include("template/$OJ_TEMPLATE/css.php");?>	    


    <!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
    <!--[if lt IE 9]>
      <script src="http://cdn.bootcss.com/html5shiv/3.7.0/html5shiv.js"></script>
      <script src="http://cdn.bootcss.com/respond.js/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>

  <body>

    <div class="container">
    <?php include("template/$OJ_TEMPLATE/nav.php");?>	    
      <!-- Main component for a primary marketing message or call to action -->
      <div class="jumbotron">
	
<pre id='errtxt' class="alert alert-error"><?php echo $view_reinfo?></pre>
<div id='errexp'><!--Explain:--></div>

      </div>

    </div> <!-- /container -->


    <!-- Bootstrap core JavaScript
    ================================================== -->
    <!-- Placed at the end of the document so the pages load faster -->
    <?php include("template/$OJ_TEMPLATE/js.php");?>	
	  <script>
    var pats=new Array();
    var exps=new Array();
    pats[0]=/A Not allowed system call.* /;
    exps[0]="<?php echo $MSG_A_NOT_ALLOWED_SYSTEM_CALL ?>";
    pats[1]=/Segmentation fault/;
    exps[1]="<?php echo $MSG_SEGMETATION_FAULT ?>";
    pats[2]=/Floating point exception/;
    exps[2]="<?php echo $MSG_FLOATING_POINT_EXCEPTION ?>";
    pats[3]=/buffer overflow detected/;
    exps[3]="<?php echo $MSG_BUFFER_OVERFLOW_DETECTED ?>";
    pats[4]=/Killed/;
    exps[4]="<?php echo $MSG_PROCESS_KILLED ?>";
    pats[5]=/Alarm clock/;
    exps[5]="<?php echo $MSG_ALARM_CLOCK ?>";
    pats[6]=/CALLID:20/;
    exps[6]="<?php echo $MSG_CALLID_20 ?>";
    pats[7]=/ArrayIndexOutOfBoundsException/;
    exps[7]="<?php echo $MSG_ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION ?>";
    pats[8]=/StringIndexOutOfBoundsException/;
    exps[8]="<?php echo $MSG_STRING_INDEX_OUT_OF_BOUNDS_EXCEPTION ?>";
    function explain(){
      var errmsg = $("#errtxt").text();
      var expmsg = "";
      for(var i=0; i<pats.length; i++){
        var pat = pats[i];
        var exp = exps[i];
        var ret = pat.exec(errmsg);
        if(ret){
          expmsg += ret+" : "+exp+"<br><hr />";
        }
      }
      document.getElementById("errexp").innerHTML=expmsg;
    }

    explain();
</script>

<?php if(isset($OJ_MARKDOWN)&&$OJ_MARKDOWN){ ?>
          <script src="<?php echo $OJ_CDN_URL.$path_fix."template/bs3/"?>marked.min.js"></script>
        <script>
            $(document).ready(function(){
                        marked.use({
                          // 开启异步渲染
                          async: true,
                          pedantic: false,
                          gfm: true,
                          mangle: false,
                          headerIds: false
                        });
                        $("#errtxt").each(function(){
                                $(this).html(marked.parse($(this).html()));
                        });
                        // adding note for ```input1  ```output1 in description
                        for(let i=1;i<10;i++){
                                $(".language-input"+i).parent().before("<div><?php echo $MSG_Input?>"+i+":</div>");
                                $(".language-output"+i).parent().before("<div><?php echo $MSG_Output?>"+i+":</div>");
                        }
        
        
                $("#errtxt table").addClass("ui mini-table cell striped");
                $("#errtxt table tr:odd td").css({
                    "border": "1px solid grey",
                    "text-align": "center",
                    "width": "200px",
                    "background-color": "#8521d022",
                    "height": "30px"
                });
                $("#errtxt table tr:even td").css({
                    "border": "1px solid grey",
                    "text-align": "center",
                    "width": "200px",
                    "background-color": "#2185d022",
                    "height": "30px"
                });
                $("#errtxt table th").css({
                    "border": "1px solid grey",
                    "width": "200px",
                    "height": "30px",
                    "background-color": "#2185d088",
                    "text-align": "center"
                });
                <?php
                  if(isset($OJ_DOWNLOAD)&&$OJ_DOWNLOAD){
                    if(isset($OJ_DL_1ST_WA_ONLY) && $OJ_DL_1ST_WA_ONLY){
                ?>
                   let down=$($("#errtxt").find("h2")[0]);
                   let filename=down.text();
                   down.html("<a href='download.php?sid=<?php echo $id?>&name=" + filename+ "'>" + filename+ "</a>");
                <?php
                    }else{
                ?>
                   $("#errtxt").find("h2").each(function(){
                           let down=$(this);
                           let filename=down.text();
                           console.log(filename);
                           down.html("<a href='download.php?sid=<?php echo $id?>&name=" + filename+ "'>" + filename+ "</a>");
                   });
        
                <?php
                    }
                  }
                ?>
                $("th").each(function(){
                        let html=$(this).html();
                        html=html.replace("Expected","<?php echo $MSG_EXPECTED ?>");
                        html=html.replace("Yours","<?php echo $MSG_YOURS ?>");
                        html=html.replace("filename","<?php echo $MSG_FILENAME ?>");
                        html=html.replace("size","<?php echo $MSG_SIZE ?>");
                        html=html.replace("result","<?php echo $MSG_RESULT ?>");
                        html=html.replace("memory","<?php echo $MSG_MEMORY?>");
                        html=html.replace("time","<?php echo $MSG_TIME ?>");
                        $(this).html(html);
        
                });
        
            });
        
        </script>

<?php } ?>
	  
  </body>
</html>
